Skip to content

Conversation

monkey92t
Copy link
Collaborator

fix #2439

@chayim chayim added the bug label Feb 13, 2023
Copy link
Collaborator

@vmihailenco vmihailenco left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks promising! Let's try it.

@monkey92t monkey92t merged commit 3532f2a into redis:master Feb 14, 2023
@monkey92t monkey92t mentioned this pull request Feb 14, 2023
@monkey92t monkey92t deleted the fix_pool branch February 14, 2023 16:17
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
Projects
None yet
Development

Successfully merging this pull request may close these issues.

connection pool size
3 participants